Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
311	Set Theory and Logic Supplementary Materials Math 103: Contemporary Mathematics with Applications Add to Reading List Source URL: shieldss.people.cofc.edu Language: English - Date: 2013-08-20 14:29:58 Model theory Boolean algebra Set theory Forcing Set Interpretation Naive set theory Sigma-algebra Mathematics Mathematical logic Order theory
312	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-03-13 14:27:12 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
313	doi:[removed]j.tcs[removed] Add to Reading List Source URL: slink.foiks.org Language: English - Date: 2009-01-06 15:28:52 Mathematics Functional dependency Multivalued dependency Relational model Fourth normal form Function Database normalization Boolean algebra Universal quantification Data modeling Database constraints Data management
314	Chapter 1 LOCALES AND TOPOSES AS SPACES Steven Vickers Add to Reading List Source URL: synrc.com Language: English - Date: 2009-06-30 10:58:00 Model theory Algebraic structures Boolean algebra Mathematical constructivism Order theory Lindenbaum–Tarski algebra Heyting algebra Interpretation Topos Mathematical logic Mathematics Logic
315	Formal Foundation of Information Retrieval Sandor Dominich Department of Computing and Information Technology, Buckinghamshire Chilterns University College, High Wycombe, United Add to Reading List Source URL: cir.dcs.uni-pannon.hu Language: English - Date: 2013-03-05 10:16:55 Relevance Document retrieval Precision and recall Extended Boolean model Gerard Salton Information science Information retrieval Vector space model
316	Tutorial D (version dated May 23rd, 2013, superseding all previous versions) I never use a big, big D— Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2013-05-23 10:43:26 Relational model Query languages Data types Primitive types C++ Relation Boolean data type SQL C++ classes Computing Software engineering Computer programming
317	A Survey of Static Variable Ordering Heuristics for Efficient BDD/MDD Construction Sanjay Kulhari Add to Reading List Source URL: alumni.cs.ucr.edu Language: English - Date: 2009-01-06 17:15:24 Heuristics Binary decision diagram Boolean algebra Diagrams Model checking Heuristic function Directed acyclic graph Heuristic Mathematical optimization Mathematics Graph theory Operations research
318	Boolean Decision trees Problems and Results, Old and New Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2006-03-20 23:31:05 Applied mathematics Computational complexity theory Boolean function Cryptography Decision tree model Tree Clique problem Propositional directed acyclic graph Theoretical computer science Boolean algebra Mathematics
319	260 A Step Toward Foundation of Class Diagram Add to Reading List Source URL: www.is.me.titech.ac.jp Language: English - Date: 2009-06-08 05:27:33 Information science Infographics Object-oriented programming Unified Modeling Language Boolean algebra Data model Class diagram Object-oriented design Diagrams Software engineering Design
320	Carnegie Mellon University Apply Multimodal Search and Relevance Feedback Add to Reading List Source URL: www.informedia.cs.cmu.edu Language: English - Date: 2000-06-01 12:05:31 Relevance feedback Query expansion Modality Extended Boolean model Relevance Search engine Speech recognition Multimodal Architecture and Interfaces Multimodal interaction Information science Information retrieval Multimodal search

UPDATE